1. Computer Aided Verification
پدیدآورنده : / Tayssir Touili, Byron Cook, Paul Jackson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. Computer Aided Verification
پدیدآورنده : / Daniel Kroening, Corina S. Psreanu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
3. Computer Aided Verification :
پدیدآورنده : edited by Rajeev Alur, Thomas A. Henzinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
4. Computer Aided Verification :
پدیدآورنده : edited by Gregor Bochmann, David Karl Probst.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
5. Computer Aided Verification
پدیدآورنده : / Ganesh Gopalakrishnan, Shaz Qadeer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
6. Computer Aided Verification
پدیدآورنده : \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47C6
2015
E-Book
,
7. Computer Aided Verification :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programs ; Verification ;
8. Computer Aided Verification
پدیدآورنده : / Daniel Kroening, Corina S. Psreanu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
9. Computer Aided Verification
پدیدآورنده : / Armin Biere, Roderick Bloem
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
10. Computer Aided Verification
پدیدآورنده : / Natasha Sharygina, Helmut Veith
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
11. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
12. Computer Aided Verification :
پدیدآورنده : Gerhard Goos
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
QA76
.
76
.
V47
G474
2000
13. Computer aided verification :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Verification ; Congresses. ;
14. Computer-aided verification
پدیدآورنده : edited by Robert Kurshan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software - Verification , Electronic digital computers - Evaluation
رده :
QA
76
.
76
.
E93
C65
1993
15. Computer aided verification :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Verification ; Congresses. ;
16. Computer aided verification :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Verification ; Congresses. ;
17. Computer aided verification :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Verification ; Congresses. ;
18. Computer aided verification
پدیدآورنده :
موضوع : Computer software- Verification- Congresses,Electronic digital computers- Evaluation- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
19. Computer aided verification :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programs ; Verification ;
20. Computer aided verification
پدیدآورنده : P. Madhusudan, Sanjit A. Seshia (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses
رده :
QA76
.
76
.
V47
C38
2012eb
